High-order predicate calculus
[计] 高阶谓词演算
🧩 词语组成解析
high
[haɪ]
adj. 高的;高尚的，崇高的;高音调的;高级的，高等的;
adv. （程度等）高地;高价地;奢侈地;
n. 高处，高位;[气象学]高气压;高压地带;高水平;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
calculus
['kælkjələs]
n. [医]结石，石，积石，牙垢;[数]运算，演算，微积分（学）;
ule,ulus 后缀;表”小,少”#词根助记：calc石头(古时候用石头来计算)##calc 石灰,石头#词根助记：calc石头(古时候用石头来计算)
🗣️ 情景例句
He told me to call him about my project,
他叫我打电话给他， 跟他谈我的作品计划，
Tomorrow is another day.
明天有明天的事。
After years of conditioning, most of us have developed an unshakable faith in railway timetables.
经过多年的适应，大多数人对火车时刻表产生了一种不可动摇的信念。